Je travaille sur l'analyse statique de programmes numériques, en particulier sur l'analyse du contenu des tableaux.
J'enseigne principalement la compilation, le génie logiciel et la programmation notamment
avec le langage ocaml.
recherche - enseignement - séminaires
Par ailleurs, je prends un peu de temps pour militer à Amnesty International.
Chacun allait se retrouver dans un univers à la mesure de l'acuité des ses sens naturels, de la longueur de ses membres, de la force de ses muscles...
Barjavel, “Ravage”